m (x, _, b) = (x, b)